| 翻訳と辞書 |
| Jouko Väänänen ： ウィキペディア英語版 |
Jouko Väänänen
Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland)〔"CURRICULUM'VITAE''." http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Department of Mathematics and Statistics University of Helsinki, FINLAND. Web. 20 Mar 2014. .〕 is a Finnish mathematical logician known for his contributions to set theory,〔J. Väänänen, (Set theoretic definability of logics ). In J.Barwise and S.Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985.〕〔J. Stavi and J. Väänänen, (Reflection principles for the continuum ). Logic and Algebra, ed. Yi Zhang, pp. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.〕〔M. Dzamonja and J. Väänänen, (A family of trees with no uncountable branches ), Topology Proceedings vol. 28:1, 2004, 113-132.〕〔J. Väänänen, (Second order logic or set theory? ), Bulletin of Symbolic Logic, 18(1), 91-121, 2012.〕 model theory,〔J. Väänänen, (Boolean valued models and generalized quantifiers ), Annals of Mathematical Logic, 79, pages 193-225, 1980.〕〔T. Hyttinen and J. Väänänen, (On Scott and Karp trees of uncountable models ), Journal of Symbolic Logic55(3):897-908, 1990.〕〔 logic〔〔M. Magidor and J. Väänänen, (On Löwenheim-Skolem-Tarski numbers for extensions of first order logic ), Journal of Mathematical Logic, 11(1), 87-113, 2011.〕〔E. Grädel and J. Väänänen, (Dependence and independence ), Studia Logica: Volume 101, Issue 2 (2013), Page 233-236.〕 and foundations of mathematics.〔〔J. Väänänen, (Second order logic and foundations of mathematics ), Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.〕 He is the dean〔(Deans of the Faculty of Science at the University of Helsinki )〕 of the Faculty of Science and a professor of mathematics at the University of Helsinki as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam.〔(Jouko Väänänen at the University of Helsinki )〕〔(Jouko Väänänen at the University of Amsterdam )〕 He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977. His PhD thesis was entitled "Applications of set theory to generalized quantifiers".〔(Applications of set theory to generalized quantifiers )〕 He was elected to the Finnish Academy of Science and Letters in 2002.〔(Members of the Finnish Academy of Science and Letters )〕
He served as a
member of the Senate of the University of Helsinki from 2004 to 2006. Starting in 2007 he has served as the Treasurer of the European Mathematical Society.〔(Executive Committee ) of the EMS〕
== Publications ==
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Jouko Väänänen」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|